103 research outputs found
Satisfying hard real-time constraints using COTS components
L'utilizzo di componenti COTS (Commercial-Off-The-Shelf) è sempre più comune
nella produzione di sistemi embedded real-time. Prodotti commerciali, come periferiche di
Input/Output e bus di sistema, vengono utilizzati in sistemi real-time al fine
di ridurre i costi, il tempo di produzione, ed aumentare le performance.
Sfortunatamente, hardware e sistemi operativi COTS sono progettati
principalmente per ottimizzare le performance, ma con poca attenzione verso
determinismo, predicibilità ed
affidabilità . Per questa ragione, molte problematiche devono ancora essere
affrontate prima di un loro impiego in sistemi real-time ad alta criticita'.
In questa tesi abbiamo centrato la nostra attenzione su alcune delle piu' importanti
sorgenti di impredicibilita' che devono essere rimosse al fine di integrare
hardware e software COTS in sistemi hard real-time. Come prima cosa abbiamo sviluppato
ASMP-Linux, una variante di Linux che minimizza overhead e latenza del sistema
operativo. Successivamente abbiamo progettato ed implementato un nuovo sistema
di gestione dell'I/O, basato sul Real-Time Bridge, un nuovo componente
hardware che fornisce isolamento temporale sui bus COTS e rimuove le
interferenze fra periferiche di I/O. E' stato anche sviluppato un Multi-Flow
Real-Time Bridge per assicurare predicibilita' nel caso di periferiche
condivise. Infine abbiamo proposto PREM, un nuovo modello di esecuzione per
sistemi real-time che elimina le interferenze fra periferiche e CPU, e quelle
fra processi ad alta criticita' ed interruzioni hardware.
Per ognuna delle nostre soluzioni saranno descritti in dettaglio gli aspetti
teorici, l'implementazione dei prototipi ed i risultati sperimentali.Real-time embedded systems are increasingly being built using Commercial Off-The-Shelf (COTS) components such as mass-produced peripherals and buses to reduce costs, time-to-market, and increase performance. Unfortunately, COTS hardware and operating systems are typically designed to optimize average performance, instead of determinism, predictability, and reliability, hence their employment in high criticality real-time systems is still a daunting task.
In this thesis, we addressed some of the most important sources of unpredictability which must be removed in order to integrate COTS hardware and software into hard real-time systems. We first developed ASMP-Linux, a variant of Linux, capable of minimizing both operating system overhead and latency. Next, we designed and implemented a new I/O management system, based on real-time bridges, a novel hardware component that provides temporal isolation on the COTS bus and removes the interference among I/O peripherals. A multi-flow real-time bridge has been also developed to address interperipheral interference, allowing predictable device sharing. Finally, we propose PREM, a new execution model for real-time systems which eliminates interference between peripherals and the CPU, as well as interference between a critical task and driver interrupts. For each of our solutions, we will describe in detail theory aspects, as well as prototype implementations and experimental measurements
MadT: A Memory Access Detection Tool for Symbolic Memory Profiling
Tools for memory access detection are widely used, playing an important role especially in real-time systems. For example, on multi-core platforms, the problem of co-scheduling CPU and memory resources with hard real-time constraints requires a deep understanding of the memory access patterns of the deployed taskset. While code execution flow can be analyzed by considering the control-flow graph and reasoning in terms of basic blocks, a similar approach cannot apply to data accesses.
In this paper, we propose MadT, a tool that uses a novel mechanism to perform memory access detection of general purpose applications. MadT does not perform binary instrumentation and always executes application code natively on the platform. Hence it can operate entirely in user-space without sand-boxing the task under analysis. Furthermore, MadT provides detailed symbolic information about the accessed memory structures, so it is able to translate the virtual addresses to their original symbolic variable names. Finally, it requires no modifications to application source code. The proposed methodology relies on existing OS-level capabilities. In this paper, we describe how MadT can be implemented on commercial hardware and we compare its performance with state-of-the-art software techniques for memory access detection.CNS-1302563CNS-1219064Ope
Les droits disciplinaires des fonctions publiques : « unification », « harmonisation » ou « distanciation ». A propos de la loi du 26 avril 2016 relative à la déontologie et aux droits et obligations des fonctionnaires
The production of tt‾ , W+bb‾ and W+cc‾ is studied in the forward region of proton–proton collisions collected at a centre-of-mass energy of 8 TeV by the LHCb experiment, corresponding to an integrated luminosity of 1.98±0.02 fb−1 . The W bosons are reconstructed in the decays W→ℓν , where ℓ denotes muon or electron, while the b and c quarks are reconstructed as jets. All measured cross-sections are in agreement with next-to-leading-order Standard Model predictions.The production of , and is studied in the forward region of proton-proton collisions collected at a centre-of-mass energy of 8 TeV by the LHCb experiment, corresponding to an integrated luminosity of 1.98 0.02 \mbox{fb}^{-1}. The bosons are reconstructed in the decays , where denotes muon or electron, while the and quarks are reconstructed as jets. All measured cross-sections are in agreement with next-to-leading-order Standard Model predictions
Measurement of the J/ψ pair production cross-section in pp collisions at TeV
The production cross-section of J/ψ pairs is measured using a data sample of pp collisions collected by the LHCb experiment at a centre-of-mass energy of TeV, corresponding to an integrated luminosity of 279 ±11 pb. The measurement is performed for J/ψ mesons with a transverse momentum of less than 10 GeV/c in the rapidity range 2.0 < y < 4.5. The production cross-section is measured to be 15.2 ± 1.0 ± 0.9 nb. The first uncertainty is statistical, and the second is systematic. The differential cross-sections as functions of several kinematic variables of the J/ψ pair are measured and compared to theoretical predictions.The production cross-section of pairs is measured using a data sample of collisions collected by the LHCb experiment at a centre-of-mass energy of , corresponding to an integrated luminosity of . The measurement is performed for mesons with a transverse momentum of less than in the rapidity range . The production cross-section is measured to be . The first uncertainty is statistical, and the second is systematic. The differential cross-sections as functions of several kinematic variables of the pair are measured and compared to theoretical predictions
Measurement of forward production in collisions at TeV
A measurement of the cross-section for production in collisions is presented using data corresponding to an integrated luminosity of fb collected by the LHCb experiment at a centre-of-mass energy of TeV. The electrons are required to have more than GeV of transverse momentum and to lie between 2.00 and 4.25 in pseudorapidity. The inclusive production cross-sections, where the decays to , are measured to be \begin{align*} \begin{split} \sigma_{W^{+} \to e^{+}\nu_{e}}&=1124.4\pm 2.1\pm 21.5\pm 11.2\pm 13.0\,\mathrm{pb},\\ \sigma_{W^{-} \to e^{-}\bar{\nu}_{e}}&=\,\,\,809.0\pm 1.9\pm 18.1\pm\,\,\,7.0\pm \phantom{0}9.4\,\mathrm{pb}, \end{split} \end{align*} where the first uncertainties are statistical, the second are systematic, the third are due to the knowledge of the LHC beam energy and the fourth are due to the luminosity determination. Differential cross-sections as a function of the electron pseudorapidity are measured. The cross-section ratio and production charge asymmetry are also reported. Results are compared with theoretical predictions at next-to-next-to-leading order in perturbative quantum chromodynamics. Finally, in a precise test of lepton universality, the ratio of boson branching fractions is determined to be \begin{align*} \begin{split} \mathcal{B}(W \to e\nu)/\mathcal{B}(W \to \mu\nu)=1.020\pm 0.002\pm 0.019, \end{split} \end{align*} where the first uncertainty is statistical and the second is systematic.A measurement of the cross-section for production in collisions is presented using data corresponding to an integrated luminosity of fb collected by the LHCb experiment at a centre-of-mass energy of TeV. The electrons are required to have more than GeV of transverse momentum and to lie between 2.00 and 4.25 in pseudorapidity. The inclusive production cross-sections, where the decays to , are measured to be \begin{equation*} \sigma_{W^{+} \to e^{+}\nu_{e}}=1124.4\pm 2.1\pm 21.5\pm 11.2\pm 13.0\,\mathrm{pb}, \end{equation*} \begin{equation*} \sigma_{W^{-} \to e^{-}\bar{\nu}_{e}}=\,\,\,809.0\pm 1.9\pm 18.1\pm\,\,\,7.0\pm \phantom{0}9.4\,\mathrm{pb}, \end{equation*} where the first uncertainties are statistical, the second are systematic, the third are due to the knowledge of the LHC beam energy and the fourth are due to the luminosity determination. Differential cross-sections as a function of the electron pseudorapidity are measured. The cross-section ratio and production charge asymmetry are also reported. Results are compared with theoretical predictions at next-to-next-to-leading order in perturbative quantum chromodynamics. Finally, in a precise test of lepton universality, the ratio of boson branching fractions is determined to be \begin{equation*} \mathcal{B}(W \to e\nu)/\mathcal{B}(W \to \mu\nu)=1.020\pm 0.002\pm 0.019, \end{equation*} where the first uncertainty is statistical and the second is systematic.A measurement of the cross-section for W → eν production in pp collisions is presented using data corresponding to an integrated luminosity of 2 fb collected by the LHCb experiment at a centre-of-mass energy of TeV. The electrons are required to have more than 20 GeV of transverse momentum and to lie between 2.00 and 4.25 in pseudorapidity. The inclusive W production cross-sections, where the W decays to eν, are measured to be where the first uncertainties are statistical, the second are systematic, the third are due to the knowledge of the LHC beam energy and the fourth are due to the luminosity determination
Measurement of the B0s→μ+μ− Branching Fraction and Effective Lifetime and Search for B0→μ+μ− Decays
A search for the rare decays Bs0→μ+μ- and B0→μ+μ- is performed at the LHCb experiment using data collected in pp collisions corresponding to a total integrated luminosity of 4.4  fb-1. An excess of Bs0→μ+μ- decays is observed with a significance of 7.8 standard deviations, representing the first observation of this decay in a single experiment. The branching fraction is measured to be B(Bs0→μ+μ-)=(3.0±0.6-0.2+0.3)×10-9, where the first uncertainty is statistical and the second systematic. The first measurement of the Bs0→μ+μ- effective lifetime, τ(Bs0→μ+μ-)=2.04±0.44±0.05  ps, is reported. No significant excess of B0→μ+μ- decays is found, and a 95% confidence level upper limit, B(B0→μ+μ-)<3.4×10-10, is determined. All results are in agreement with the standard model expectations.A search for the rare decays and is performed at the LHCb experiment using data collected in collisions corresponding to a total integrated luminosity of 4.4 fb. An excess of decays is observed with a significance of 7.8 standard deviations, representing the first observation of this decay in a single experiment. The branching fraction is measured to be , where the first uncertainty is statistical and the second systematic. The first measurement of the effective lifetime, ps, is reported. No significant excess of decays is found and a 95 % confidence level upper limit, , is determined. All results are in agreement with the Standard Model expectations
Measurements of prompt charm production cross-sections in pp collisions at TeV
Production cross-sections of prompt charm mesons are measured using data from collisions at the LHC at a centre-of-mass energy of TeV. The data sample corresponds to an integrated luminosity of pb collected by the LHCb experiment. The production cross-sections of , , , and mesons are measured in bins of charm meson transverse momentum, , and rapidity, . They cover the rapidity range and transverse momentum ranges for and and for and mesons. The inclusive cross-sections for the four mesons, including charge-conjugate states, within the range of are determined to be \begin{equation*} \sigma(pp\rightarrow D^0 X) = 1190 \pm 3 \pm 64\,\mu\text{b} \end{equation*} \begin{equation*} \sigma(pp\rightarrow D^+ X) = 456 \pm 3 \pm 34\,\mu\text{b} \end{equation*} \begin{equation*} \sigma(pp\rightarrow D_s^+ X) = 195 \pm 4 \pm 19\,\mu\text{b} \end{equation*} \begin{equation*} \sigma(pp\rightarrow D^{*+} X)= 467 \pm 6 \pm 40\,\mu\text{b} \end{equation*} where the uncertainties are statistical and systematic, respectively.Production cross-sections of prompt charm mesons are measured using data from pp collisions at the LHC at a centre-of-mass energy of 5 TeV. The data sample corresponds to an integrated luminosity of 8.60 ± 0.33 pb collected by the LHCb experiment. The production cross-sections of D, D, D , and D mesons are measured in bins of charm meson transverse momentum, p, and rapidity, y. They cover the rapidity range 2.0 < y < 4.5 and transverse momentum ranges 0 < p < 10 GeV/c for D and D and 1 < p < 10 GeV/c for D and D mesons. The inclusive cross-sections for the four mesons, including charge-conjugate states, within the range of 1 < p < 8 GeV/c are determined to be where the uncertainties are statistical and systematic, respectively.Production cross-sections of prompt charm mesons are measured using data from collisions at the LHC at a centre-of-mass energy of TeV. The data sample corresponds to an integrated luminosity of pb collected by the LHCb experiment. The production cross-sections of , , , and mesons are measured in bins of charm meson transverse momentum, , and rapidity, . They cover the rapidity range and transverse momentum ranges for and and for and mesons. The inclusive cross-sections for the four mesons, including charge-conjugate states, within the range of are determined to be \sigma(pp\rightarrow D^0 X) = 1004 \pm 3 \pm 54\,\mu\text{b} \sigma(pp\rightarrow D^+ X) = 402 \pm 2 \pm 30\,\mu\text{b} \sigma(pp\rightarrow D_s^+ X) = 170 \pm 4 \pm 16\,\mu\text{b} \sigma(pp\rightarrow D^{*+} X)= 421 \pm 5 \pm 36\,\mu\text{b} where the uncertainties are statistical and systematic, respectively
Predictable Execution Model: Concept and Implementation
Building safety-critical real-time systems out of inexpensive, non-real-time, COTS components is challenging. Although COTS components generally offer high performance, they can occasionally incur significant timing delays. To prevent this, we propose controlling the operating point of each COTS shared resource (like the cache, memory, and interconnection buses) to maintain it below its saturation limit. This is necessary because the low-level arbiters of these shared resources are not typically designed to provide real-time guarantees. In this work, we introduce a novel system execution model, the PRedictable Execution Model (PREM), which, in contrast to the standard COTS execution model, coschedules at a high level all active COTS components in the system, such as CPU cores and I/O peripherals. In order to permit predictable, system-wide execution, we argue that real-time embedded applications need to be compiled according to a new set of rules dictated by PREM. To experimentally validate our theory, we developed a COTS-based PREM testbed and modified the LLVM Compiler Infrastructure to produce PREM-compatible executables.unpublishednot peer reviewe
- …